๊ณ ๊ธ ํ์ ๊ณต๊ฐ ๊ธฐ์ ๊ณผ ํญ๊ณต์ฐ์ฃผ ์ฐ์ ํ์ ์์ ์ฑ์ ๋ฏธ์น๋ ํ์ ์ ์ธ ์ํฅ์ ์์๋ณด์ธ์. ์ด ํ์ ์ ์ธ ์ ๊ทผ ๋ฐฉ์์ด ์ด๋ป๊ฒ ์ค๋ฅ๋ฅผ ์ต์ํํ๊ณ ์ ๋ขฐ์ฑ์ ํฅ์ํ๋ฉฐ ๋ ์์ ํ ํญ๊ณต ์ฌํ์ ๋ณด์ฅํ๋์ง ํ์ธํ์ธ์.
๊ณ ๊ธ ํ์ ๊ณต๊ฐ ๊ธฐ์ : ํญ๊ณต์ฐ์ฃผ ์ฐ์ ์ ํ์ ์์ ์ฑ ๊ฐํ
ํญ๊ณต์ฐ์ฃผ ์ฐ์ ์ ์ฌ์ํ ์ํํธ์จ์ด ์ค๋ฅ์กฐ์ฐจ ์น๋ช ์ ์ธ ๊ฒฐ๊ณผ๋ฅผ ์ด๋ํ ์ ์๋ ์๊ฒฉํ ์์ ์๊ตฌ ์ฌํญ ํ์ ์ด์๋ฉ๋๋ค. ์ ํต์ ์ธ ํ ์คํธ ๋ฐฉ๋ฒ์ ์ ์ฉํ์ง๋ง, ๋ณต์กํ ํญ๊ณต์ฐ์ฃผ ์์คํ ์ ๋ชจ๋ ์ ์ฌ์ ์ทจ์ฝ์ ์ ๋ฐํ๋ด๋ ๋ฐ ์ด๋ ค์์ ๊ฒช๋ ๊ฒฝ์ฐ๊ฐ ๋ง์ต๋๋ค. ๊ณ ๊ธ ํ์ ๊ณต๊ฐ ๊ธฐ์ ์ ํ์ ์์ ์ฑ์ ๋ณด์ฅํ๋ ํ์ ์ ์ธ ์ ๊ทผ ๋ฐฉ์์ ์ ๊ณตํ์ฌ ์ค๋ฅ ์ํ์ ํ๊ธฐ์ ์ผ๋ก ์ค์ด๊ณ ํญ๊ณต์ฐ์ฃผ ์ํํธ์จ์ด ๋ฐ ํ๋์จ์ด์ ์ ๋ฐ์ ์ธ ์ ๋ขฐ์ฑ์ ํฅ์์ํต๋๋ค.
ํญ๊ณต์ฐ์ฃผ ์์คํ ์์ ํ์ ์์ ์ฑ ์ดํดํ๊ธฐ
ํ์ ์์ ์ฑ์ ํ๋ก๊ทธ๋๋ฐ ์ธ์ด๊ฐ ํ์ ์ค๋ฅ(ํธํ๋์ง ์๋ ํ์ ์ ๋ฐ์ดํฐ์ ์ฐ์ฐ์ด ์ ์ฉ๋๋ ์ํฉ)๋ฅผ ๋ฐฉ์งํ๋ ์ ๋๋ฅผ ์๋ฏธํฉ๋๋ค. ํญ๊ณต์ฐ์ฃผ ๋ถ์ผ์์ ํ์ ์ค๋ฅ๋ ์๋ชป๋ ๋ฐ์ดํฐ ํด์์ผ๋ก ๋ํ๋ ์ ์์ผ๋ฉฐ, ์ด๋ ๋นํ ์ ์ด, ํญ๋ฒ, ์์ง ๊ด๋ฆฌ์ ๊ฐ์ ์ค์ ์์คํ ์ ์ค์๋์ผ๋ก ์ด์ด์ง ์ ์์ต๋๋ค.
ํญ๊ณต์ฐ์ฃผ ์์คํ ์์ ๋์ ์์ค์ ํ์ ์์ ์ฑ์ ๋ฌ์ฑํ๋ ๊ฒ์ ๋ค์์ ์ด์ ๋ก ์ธํด ๋งค์ฐ ์ค์ํฉ๋๋ค:
- ์ค์์ฑ: ํญ๊ณต์ฐ์ฃผ ์์คํ ์ ๋ณธ์ง์ ์ผ๋ก ์์ ์ ํ์์ ์ด๋ฉฐ, ์ค๋ฅ๋ ์ธ๋ช ์์ค๋ก ์ด์ด์ง ์ ์์ต๋๋ค.
- ๋ณต์ก์ฑ: ํ๋ ํญ๊ณต๊ธฐ์ ์ฐ์ฃผ์ ์ ์ํธ ์ฐ๊ฒฐ๋ ์ํํธ์จ์ด ๊ตฌ์ฑ ์์์ ๋ฐฉ๋ํ ๋คํธ์ํฌ์ ์์กดํ๋ฏ๋ก ์ค๋ฅ ๋ฐ์ ๊ฐ๋ฅ์ฑ์ด ์ฆ๊ฐํฉ๋๋ค.
- ์ค์๊ฐ ์ ์ฝ: ๋ง์ ํญ๊ณต์ฐ์ฃผ ์์คํ ์ ์๊ฒฉํ ์ค์๊ฐ ์ ์ฝ ํ์ ์๋ํ๋ฉฐ, ์ด๋ ์ค๋ฅ๊ฐ ๋น ๋ฅด๊ณ ํต์ ๋ถ๋ฅํ๊ฒ ์ ํ๋ ์ ์์์ ์๋ฏธํฉ๋๋ค.
- ์ธ์ฆ ์๊ตฌ ์ฌํญ: FAA(๋ฏธ๊ตญ ์ฐ๋ฐฉํญ๊ณต์ฒญ) ๋ฐ EASA(์ ๋ฝ์ฐํฉ ํญ๊ณต์์ ์ฒญ)์ ๊ฐ์ ๊ท์ ๊ธฐ๊ด์ ํฌ๊ด์ ์ธ ํ์ ์์ ์ฑ์ ๋ํ ์ฆ๊ฑฐ๋ฅผ ์๊ตฌํ๋ ์๊ฒฉํ ์ธ์ฆ ํ์ค์ ๋ถ๊ณผํฉ๋๋ค.
์ ํต์ ์ธ ํ์ ์์คํ ์ ํ๊ณ
C++ ๋ฐ Java์ ๊ฐ์ ์ธ์ด์์ ์ฐพ์๋ณผ ์ ์๋ ์ ํต์ ์ธ ํ์ ์์คํ ์ ๊ธฐ๋ณธ์ ์ธ ์์ค์ ํ์ ์์ ์ฑ์ ์ ๊ณตํฉ๋๋ค. ๊ทธ๋ฌ๋ ์ด๋ค์ ํญ๊ณต์ฐ์ฃผ ์ ํ๋ฆฌ์ผ์ด์ ์ ํ์ํ ๋ณด์ฅ์ ์ ๊ณตํ๋ ๋ฐ ์ข ์ข ๋ถ์กฑํฉ๋๋ค. ์ด๋ฌํ ํ๊ณ๋ ๋ค์๊ณผ ๊ฐ์ต๋๋ค:
- ์์์ ํ์ ๋ณํ: ์์์ ๋ณํ์ ๊ทผ๋ณธ์ ์ธ ํ์ ์ค๋ฅ๋ฅผ ๊ฐ๋ฆด ์ ์์ด ์์์น ๋ชปํ ๋์์ผ๋ก ์ด์ด์ง๋๋ค. ์๋ฅผ ๋ค์ด, ๋ฏธํฐ ๋จ์ ๊ณ ๋๋ฅผ ๋ํ๋ด๋ ์ ์๋ฅผ ์ ์ ํ ์ค์ผ์ผ๋ง ์์ด ํผํธ ๋จ์ ๊ณ ๋๋ฅผ ๋ํ๋ด๋ ์ ์๋ก ๋ณํํ๋ฉด ์ฌ๊ฐํ ์ค๋ฅ๊ฐ ๋ฐ์ํ ์ ์์ต๋๋ค.
- ๋ ํฌ์ธํฐ ์์ธ: ๋ ํฌ์ธํฐ์ ๊ฐ๋ฅ์ฑ์ ํนํ ๋ณต์กํ ์์คํ ์์ ์ค์ํ ์ค๋ฅ์ ์์ธ์ด ๋ ์ ์์ต๋๋ค. ํ ๋ ํธ์ด(Tony Hoare)๊ฐ ๋ช ๋ช ํ ์ ๋ช ๋์ "10์ต ๋ฌ๋ฌ์ง๋ฆฌ ์ค์(billion-dollar mistake)"๋ ๋์์๋ ๊ณผ์ ์ ๋๋ค.
- ์ ํํ ๋ฐ์ดํฐ ํ์ ์ง์ ๋ถ์กฑ: ์ ํต์ ์ธ ํ์ ์์คํ ์ ๋ฐ์ดํฐ์ ๋ฒ์์ ๋จ์๋ฅผ ์ ํํ๊ฒ ์ง์ ํ๋ ๋ฅ๋ ฅ์ด ๋ถ์กฑํ์ฌ, ๋ฒ์ ์ด๊ณผ ์ค๋ฅ ๋ฐ ๋จ์ ๋ถ์ผ์น๋ฅผ ๋ฐฉ์งํ๊ธฐ ์ด๋ ต์ต๋๋ค. ์ฐ๋ฃ ๊ณ์ฐ์์ ํ์ด๋ ๋์ ํฌ๋ก๊ทธ๋จ์ ์ฌ์ฉํ๋ ์๋๋ฆฌ์ค๋ฅผ ์์ํด ๋ณด์ธ์ โ ๊ทธ ๊ฒฐ๊ณผ๋ ์น๋ช ์ ์ผ ์ ์์ต๋๋ค.
- ๋ฐํ์ ์ค๋ฅ: ๋ง์ ํ์ ์ค๋ฅ๋ ๋ฐํ์์๋ง ๊ฐ์ง๋๋ฉฐ, ์ด๋ ์์ ํ์ ์์คํ ์์๋ ์ฉ๋ฉ๋ ์ ์์ต๋๋ค.
๊ณ ๊ธ ํ์ ๊ณต๊ฐ ๊ธฐ์ : ์๋ก์ด ํจ๋ฌ๋ค์
๊ณ ๊ธ ํ์ ๊ณต๊ฐ ๊ธฐ์ ์ ํ์ ์์ ์ฑ ๋ถ์ผ์์ ์๋นํ ๋ฐ์ ์ ๋ํ๋ ๋๋ค. ์ด๋ ํ์ ๋ฉ์๋(formal methods), ํ๋ก๊ทธ๋จ ๊ฒ์ฆ ๋ฐ ๊ณ ๊ธ ํ๋ก๊ทธ๋๋ฐ ์ธ์ด ์ค๊ณ์ ๊ธฐ์ ์ ํ์ฉํ์ฌ ๋ณธ์ง์ ์ผ๋ก ๋์ฑ ๊ฒฌ๊ณ ํ๊ณ ์ ๋ขฐํ ์ ์๋ ์์คํ ์ ๋ง๋ญ๋๋ค. ์ด ์ ๊ทผ ๋ฐฉ์์ ์ปดํ์ผ ์์ ์ ๊ด๋ฒ์ํ ์ ์ฌ์ ์ค๋ฅ๋ฅผ ์ ๊ฑฐํ์ฌ ๋นํ ์ค ๋๋ ์๋ ์ค์ ๋ฌธ์ ๊ฐ ๋ฐ์ํ๊ธฐ ์ ์ ํด๊ฒฐํ๋ ๊ฒ์ ๋ชฉํ๋ก ํฉ๋๋ค.
๊ณ ๊ธ ํ์ ๊ณต๊ฐ ๊ธฐ์ ์ ํต์ฌ ๊ตฌ์ฑ ์์๋ ๋ค์๊ณผ ๊ฐ์ต๋๋ค:
- ์์กด ํ์ : ์์กด ํ์ ์ ํ์ ์ด ๊ฐ์ ์์กดํ๋๋ก ํ์ฉํ์ฌ ๋ฐ์ดํฐ ๋ฒ์, ๋จ์ ๋ฐ ๊ด๊ณ๋ฅผ ์ ํํ๊ฒ ์ง์ ํ ์ ์๋๋ก ํฉ๋๋ค. ์ด๋ฅผ ํตํด ์ ํต์ ์ธ ํ์ ์์คํ ์ผ๋ก๋ ๋์น ์ ์๋ ๋ฏธ๋ฌํ ์ค๋ฅ๋ฅผ ์ก์๋ผ ์ ์์ต๋๋ค.
- ๋ฆฌํ์ธ๋จผํธ ํ์ : ๋ฆฌํ์ธ๋จผํธ ํ์ ์ ํ์ ์ ์ถ๊ฐ์ ์ธ ์ ์ฝ ์กฐ๊ฑด์ ์ง์ ํ ์ ์๋๋ก ํฉ๋๋ค. ์๋ฅผ ๋ค์ด, ๊ฐ์ด ํน์ ๋ฒ์ ๋ด์ ์๊ฑฐ๋ ํน์ ์์ฑ์ ๋ง์กฑํด์ผ ํ๋ค๊ณ ์๊ตฌํ๋ ๊ฒ์ ๋๋ค.
- ์ ์ ๋ถ์: ์ ์ ๋ถ์ ๋๊ตฌ๋ ํ๋ก๊ทธ๋จ์ ์ค์ ๋ก ์คํํ์ง ์๊ณ ๋ ์ปดํ์ผ ์์ ์ ์ฝ๋๋ฅผ ๋ถ์ํ์ฌ ์ ์ฌ์ ์ธ ํ์ ์ค๋ฅ ๋ฐ ๊ธฐํ ์ทจ์ฝ์ ์ ํ์งํฉ๋๋ค.
- ํ์ ๊ฒ์ฆ: ํ์ ๊ฒ์ฆ ๊ธฐ์ ์ ์ํ์ ๋ ผ๋ฆฌ๋ฅผ ์ฌ์ฉํ์ฌ ํ๋ก๊ทธ๋จ์ด ์ฌ์์ ์ถฉ์กฑํจ์ ์ฆ๋ช ํจ์ผ๋ก์จ ์ ํ์ฑ์ ๋ํ ๋์ ์์ค์ ์ ๋ขฐ๋ฅผ ์ ๊ณตํฉ๋๋ค.
- ์ถ์ ํด์: ํ๋ก๊ทธ๋จ์ ๊ฐ๋ฅํ ์ํ๋ฅผ ๊ณผ๋ ์ถ์ ํ์ฌ ์ํํธ์จ์ด ์์คํ ์ ์์ฑ์ ์๋์ผ๋ก ๋ฐ๊ฒฌํ๊ณ ๊ฒ์ฆํ๋ ๋ฐ ์ฌ์ฉ๋๋ ๊ธฐ์ ์ ๋๋ค.
ํญ๊ณต์ฐ์ฃผ ๋ถ์ผ์์ ๊ณ ๊ธ ํ์ ๊ณต๊ฐ ๊ธฐ์ ์ ์ด์
ํญ๊ณต์ฐ์ฃผ ์ฐ์ ์์ ๊ณ ๊ธ ํ์ ๊ณต๊ฐ ๊ธฐ์ ์ ์ฑํ์ ์๋ง์ ์ด์ ์ ์ ๊ณตํฉ๋๋ค:
- ์ค๋ฅ์จ ๊ฐ์: ๊ฐ๋ฐ ํ๋ก์ธ์ค ์ด๊ธฐ์ ์ค๋ฅ๋ฅผ ๊ฐ์งํจ์ผ๋ก์จ ๊ณ ๊ธ ํ์ ๊ณต๊ฐ ๊ธฐ์ ์ ๋น์ฉ์ด ๋ง์ด ๋ค๊ณ ์ ์ฌ์ ์ผ๋ก ์น๋ช ์ ์ธ ์คํจ์ ์ํ์ ํฌ๊ฒ ์ค์ ๋๋ค. NASA์ ์ฐ๊ตฌ์ ๋ฐ๋ฅด๋ฉด ์์ ํ์ ์์คํ ์ ํ์ ๋ฉ์๋๋ฅผ ์ฌ์ฉํ ๋ ์ํํธ์จ์ด ๊ฒฐํจ์ด ํฌ๊ฒ ๊ฐ์ํ์ต๋๋ค.
- ์ ๋ขฐ์ฑ ํฅ์: ํ์ ์์ ์ฑ ์ฆ๊ฐ๋ ๋ ์ ๋ขฐํ ์ ์๋ ์์คํ ์ผ๋ก ์ด์ด์ง๋ฉฐ, ๊ด๋ฒ์ํ ํ ์คํธ ๋ฐ ๋๋ฒ๊น ์ ํ์์ฑ์ ์ค์ ๋๋ค.
- ๋ ๋น ๋ฅธ ๊ฐ๋ฐ ์ฃผ๊ธฐ: ์ด๊ธฐ ํ์ต ๊ณก์ ์ด ๊ฐํ๋ฅผ ์ ์์ง๋ง, ๊ณ ๊ธ ํ์ ๊ณต๊ฐ ๊ธฐ์ ์ ๋๋ฒ๊น ๋ฐ ์ฌ์์ ์ ์์๋๋ ์๊ฐ์ ์ค์ฌ ๊ถ๊ทน์ ์ผ๋ก ๊ฐ๋ฐ ์ฃผ๊ธฐ๋ฅผ ๊ฐ์ํํ ์ ์์ต๋๋ค.
- ์ ์ง๋ณด์ ๋น์ฉ ์ ๊ฐ: ๋ ์ ๋ขฐํ ์ ์๋ ์์คํ ์ ์ ์ง๋ณด์๊ฐ ๋ ํ์ํ๋ฏ๋ก ์ฅ๊ธฐ์ ์ธ ๋น์ฉ์ด ์ ๊ฐ๋ฉ๋๋ค.
- ํฅ์๋ ์์ ์ธ์ฆ: ๊ณ ๊ธ ํ์ ๊ณต๊ฐ ๊ธฐ์ ์ ์ฌ์ฉ์ ํ์ ์์ ์ฑ์ ๋ํ ์ค๋๋ ฅ ์๋ ์ฆ๊ฑฐ๋ฅผ ์ ๊ณตํ์ฌ ์ธ์ฆ ํ๋ก์ธ์ค๋ฅผ ์ฉ์ดํ๊ฒ ํฉ๋๋ค. DO-178C์ ๊ฐ์ ํ์ค ์ค์๊ฐ ํฌ๊ฒ ๋์์ด ๋ฉ๋๋ค.
- ์ ๋ขฐ๋ ์ฆ๊ฐ: ๊ฐ๋ฐ์์ ์ดํด๊ด๊ณ์๋ ํญ๊ณต์ฐ์ฃผ ์์คํ ์ ์ ํ์ฑ๊ณผ ์ ๋ขฐ์ฑ์ ๋ํด ๋ ํฐ ํ์ ์ ๊ฐ์ง ์ ์์ต๋๋ค.
์ค์ ๋ก ์ ์ฉ๋๋ ๊ณ ๊ธ ํ์ ๊ณต๊ฐ ๊ธฐ์ ์ ์ฌ๋ก
์ฌ๋ฌ ํ์ฌ์ ์ฐ๊ตฌ ๊ธฐ๊ด์ด ํญ๊ณต์ฐ์ฃผ ์ฐ์ ์์ ๊ณ ๊ธ ํ์ ๊ณต๊ฐ ๊ธฐ์ ์ ์ ๊ทน์ ์ผ๋ก ๊ฐ๋ฐํ๊ณ ๋ฐฐํฌํ๊ณ ์์ต๋๋ค.
- AdaCore: AdaCore๋ ๊ฐ๋ ฅํ ํ์ ์ง์ ๋ฐ ํ์ ๊ฒ์ฆ ๊ธฐ๋ฅ๊ณผ ๊ฐ์ ๊ธฐ๋ฅ์ ํตํฉํ Ada ํ๋ก๊ทธ๋๋ฐ ์ธ์ด๋ฅผ ์ฌ์ฉํ์ฌ ๊ณ ๋ฌด๊ฒฐ์ฑ ์ํํธ์จ์ด ๊ฐ๋ฐ์ ์ํ ๋๊ตฌ์ ์๋น์ค๋ฅผ ์ ๊ณตํฉ๋๋ค. ์ด๋ค์ ๋นํ ์ ์ด ์์คํ ์ ํฌํจํ์ฌ ์ ์ธ๊ณ์ ์๋ง์ ํญ๊ณต์ฐ์ฃผ ํ๋ก์ ํธ์ ์ฐธ์ฌํ๊ณ ์์ต๋๋ค.
- Altran (ํ Capgemini Engineering): Altran์ ํญ๊ณต์ฐ์ฃผ ์ฐ์ ์ ์์ง๋์ด๋ง ๋ฐ R&D ์๋น์ค๋ฅผ ์ ๊ณตํ๋ฉฐ, ์์ ํ์ ์์คํ ์ ์ํ ํ์ ๋ฉ์๋ ๋ฐ ๊ณ ๊ธ ํ์ ์์คํ ์ฐ๊ตฌ ๊ฐ๋ฐ์ ์ฐธ์ฌํ๊ณ ์์ต๋๋ค. ์ด๋ค์ ์์ ์ ์ฐ์ ์ ์ฑํ์ ์ํ ๋๊ตฌ ์ง์ ๋ฐ ๋ฉ์๋ ํตํฉ ์ ๊ณต์ ์ค์ ์ ๋ก๋๋ค.
- NASA: NASA๋ ์์ญ ๋ ๋์ ์ด ๋ถ์ผ์์ ์ฐ๊ตฌ ๊ฐ๋ฐ์ ์ํํ๋ฉฐ ํ์ ๋ฉ์๋ ๋ฐ ๊ณ ๊ธ ํ์ ์์คํ ์ ์ค๋ ์ง์ง์์์ต๋๋ค. NASA์ ์ ํธ ์ถ์ง ์ฐ๊ตฌ์(JPL)๋ ํ์ ๊ฒ์ฆ ๊ธฐ์ ์ ์ฉ ๋ถ์ผ์ ์ ๋ ์ฃผ์์ ๋๋ค.
- SRI International: SRI International์ ํ์ ๋ฉ์๋ ๋ฐ ํ๋ก๊ทธ๋จ ๊ฒ์ฆ ์ฐ๊ตฌ ๋ถ์ผ์์ ์ค๋ ์ญ์ฌ๋ฅผ ๊ฐ์ง๊ณ ์์ผ๋ฉฐ, ํญ๊ณต์ฐ์ฃผ ์ฐ์ ์์ ์ฌ์ฉ๋๋ ๋๊ตฌ์ ๊ธฐ์ ์ ๊ฐ๋ฐํ์ต๋๋ค.
- ์ ๋ฝ ์ฐ์ฃผ๊ตญ (ESA): ESA๋ ๋ค์ํ ์ฐ๊ตฌ ํ๋ก๊ทธ๋จ์ ํตํด ํ์ ๋ฉ์๋ ๋ฐ ๊ณ ๊ธ ํ์ ์์คํ ์ฐ๊ตฌ ๊ฐ๋ฐ์ ์ง์ํ๋ฉฐ, ์ฐ์ฃผ ์์คํ ์ ์์ ์ฑ๊ณผ ์ ๋ขฐ์ฑ ํฅ์์ ๋ชฉํ๋ก ํฉ๋๋ค.
- seL4 ๋ง์ดํฌ๋ก์ปค๋: seL4 ๋ง์ดํฌ๋ก์ปค๋์ ์์ ํ์ ์์คํ ์ ์ฌ์ฉํ๋๋ก ์ค๊ณ๋ ํ์์ ์ผ๋ก ๊ฒ์ฆ๋ ์ด์์ฒด์ ์ปค๋์ ๋๋ค. ์ด๋ ๋์ ์์ค์ ๋ณด์ ๋ฐ ์ ๋ขฐ์ฑ์ ์ ๊ณตํ๋ฉฐ ๋ค์ํ ํญ๊ณต์ฐ์ฃผ ์ ํ๋ฆฌ์ผ์ด์ ์ ์ฌ์ฉ๋ฉ๋๋ค.
- ํ๋ก์ ํธ ์๋ฒ ๋ ์คํธ (Microsoft Research): ์ด ํ๋ก์ ํธ๋ ํ์ ๋ฉ์๋๋ฅผ ์ฌ์ฉํ์ฌ ์์ ํ๊ณ ๊ณ ์ฑ๋ฅ์ HTTPS ์คํ์ ๊ตฌ์ถํ์ต๋๋ค. ๋ช ์์ ์ผ๋ก ํญ๊ณต์ฐ์ฃผ ๋ถ์ผ๋ ์๋์ง๋ง, ์ด๋ ๋ณต์กํ ์ํํธ์จ์ด์ ์ด๋ฌํ ๊ธฐ์ ์ ์ ์ฉํ๋ ๊ฒ์ ํ๊ณผ ์ค์ฉ์ฑ์ ๋ณด์ฌ์ค๋๋ค.
๊ณผ์ ๋ฐ ๊ณ ๋ ค ์ฌํญ
๊ณ ๊ธ ํ์ ๊ณต๊ฐ ๊ธฐ์ ์ด ์๋นํ ์ด์ ์ ์ ๊ณตํ์ง๋ง, ๊ณ ๋ คํด์ผ ํ ๊ณผ์ ๋ํ ์์ต๋๋ค:
- ํ์ต ๊ณก์ : ๊ณ ๊ธ ํ์ ๊ณต๊ฐ ๊ธฐ์ ์ ์ ๋ฌธ์ ์ธ ์ง์๊ณผ ๊ธฐ์ ์ ํ์๋ก ํ๋ฉฐ, ์ด๋ ์ฑํ์ ์ฅ์ ๋ฌผ์ด ๋ ์ ์์ต๋๋ค. ๊ต์ก ํ๋ก๊ทธ๋จ๊ณผ ๊ต์ก ์๋ฃ๊ฐ ํ์์ ์ ๋๋ค.
- ๋๊ตฌ ์ง์: ๊ณ ๊ธ ํ์ ๊ณต๊ฐ ๊ธฐ์ ์ ์ฌ์ฉํ๋ ์์คํ ์ ๊ฐ๋ฐ ๋ฐ ๊ฒ์ฆ์ ์ง์ํ๊ธฐ ์ํด ๊ฒฌ๊ณ ํ๊ณ ์ฌ์ฉ์ ์นํ์ ์ธ ๋๊ตฌ๊ฐ ํ์ํฉ๋๋ค.
- ๊ธฐ์กด ์์คํ ๊ณผ์ ํตํฉ: ๊ณ ๊ธ ํ์ ๊ณต๊ฐ ๊ธฐ์ ์ ๊ธฐ์กด ๋ ๊ฑฐ์ ์์คํ ๊ณผ ํตํฉํ๋ ๊ฒ์ ์ด๋ ค์ธ ์ ์์ต๋๋ค. ๋จ๊ณ๋ณ ์ฑํ๊ณผ ์ ์คํ ๊ณํ์ด ์ค์ํฉ๋๋ค.
- ์ฑ๋ฅ ์ค๋ฒํค๋: ์ผ๋ถ ๊ณ ๊ธ ํ์ ๊ณต๊ฐ ๊ธฐ์ ์ ์ฑ๋ฅ ์ค๋ฒํค๋๋ฅผ ์ ๋ฐํ ์ ์์ผ๋ฉฐ, ์ค์๊ฐ ์ ์ฝ์ด ์ถฉ์กฑ๋๋๋ก ์ ์คํ๊ฒ ๊ด๋ฆฌํด์ผ ํฉ๋๋ค.
- ๋น์ฉ: ๊ณ ๊ธ ํ์ ๊ณต๊ฐ ๊ธฐ์ ์ ๋ํ ์ด๊ธฐ ํฌ์๋ ์ ํต์ ์ธ ๋ฐฉ๋ฒ๋ณด๋ค ๋์ ์ ์์ต๋๋ค. ๊ทธ๋ฌ๋ ์ค๋ฅ ๊ฐ์ ๋ฐ ์ ๋ขฐ์ฑ ํฅ์์ผ๋ก ์ธํ ์ฅ๊ธฐ์ ์ธ ๋น์ฉ ์ ๊ฐ์ ์ข ์ข ์ด๊ธฐ ํฌ์๋ฅผ ๋ฅ๊ฐํฉ๋๋ค.
ํญ๊ณต์ฐ์ฃผ ๋ถ์ผ ํ์ ์์ ์ฑ์ ๋ฏธ๋
ํญ๊ณต์ฐ์ฃผ ๋ถ์ผ ํ์ ์์ ์ฑ์ ๋ฏธ๋๋ ๊ณ ๊ธ ํ์ ๊ณต๊ฐ ๊ธฐ์ ์ ์ง์์ ์ธ ๊ฐ๋ฐ ๋ฐ ์ฑํ์ ์ํด ํ์ฑ๋ ๊ฐ๋ฅ์ฑ์ด ๋์ต๋๋ค. ํญ๊ณต์ฐ์ฃผ ์์คํ ์ด ์ ์ ๋ ๋ณต์กํด์ง๊ณ ์ํธ ์ฐ๊ฒฐ๋จ์ ๋ฐ๋ผ, ๋์ฑ ๊ฒฌ๊ณ ํ๊ณ ์ ๋ขฐํ ์ ์๋ ํ์ ์์คํ ์ ํ์์ฑ์ ๋์ฑ ์ปค์ง ๊ฒ์ ๋๋ค.
์ฃผ๋ชฉํด์ผ ํ ์ฃผ์ ๋ํฅ์ ๋ค์๊ณผ ๊ฐ์ต๋๋ค:
- ํ์ ๋ฉ์๋ ์ฑํ ์ฆ๊ฐ: ํ์ ๋ฉ์๋๋ ์์ ํ์ ํญ๊ณต์ฐ์ฃผ ์์คํ ๊ฐ๋ฐ์ ๋์ฑ ๊ด๋ฒ์ํ๊ฒ ์ฌ์ฉ๋ ๊ฒ์ ๋๋ค.
- ๋์ฑ ์ฌ์ฉ์ ์นํ์ ์ธ ๋๊ตฌ ๊ฐ๋ฐ: ๋๊ตฌ ๊ณต๊ธ์ ์ฒด๋ ๋ ๋์ ๋ฒ์์ ๊ฐ๋ฐ์๊ฐ ๊ณ ๊ธ ํ์ ๊ณต๊ฐ ๊ธฐ์ ์ ์ ๊ทผํ ์ ์๋๋ก ๋์ฑ ์ฌ์ฉ์ ์นํ์ ์ธ ๋๊ตฌ๋ฅผ ๊ณ์ ๊ฐ๋ฐํ ๊ฒ์ ๋๋ค.
- ๋ชจ๋ธ ๊ธฐ๋ฐ ์์ง๋์ด๋ง๊ณผ ๊ณ ๊ธ ํ์ ๊ณต๊ฐ ๊ธฐ์ ์ ํตํฉ: ๋ชจ๋ธ ๊ธฐ๋ฐ ์์ง๋์ด๋ง ๊ธฐ์ ์ ๊ณ ๊ธ ํ์ ๊ณต๊ฐ ๊ธฐ์ ๊ณผ ํตํฉ๋์ด ๋์ฑ ์ํํ๊ณ ํจ์จ์ ์ธ ๊ฐ๋ฐ ํ๋ก์ธ์ค๋ฅผ ๋ง๋ค ๊ฒ์ ๋๋ค.
- ํ์ ์์ ์ฑ ์๊ตฌ ์ฌํญ ํ์คํ: ๊ท์ ๊ธฐ๊ด์ ํญ๊ณต์ฐ์ฃผ ์์คํ ์ ๋ํ ํ์ ์์ ์ฑ ์๊ตฌ ์ฌํญ์ ๊ณ์ํด์ ์ ์ ํ๊ณ ํ์คํํ ๊ฒ์ ๋๋ค.
- AI ๊ธฐ๋ฐ ๊ฒ์ฆ: ์ธ๊ณต์ง๋ฅ์ ํ์ ์์ ์ฑ ์์ฑ ๊ฒ์ฆ์ ์๋ํํ๋ ๋ฐ ์ ์ ๋ ์ค์ํ ์ญํ ์ ํ ๊ฒ์ ๋๋ค.
ํญ๊ณต์ฐ์ฃผ ์ ๋ฌธ๊ฐ๋ฅผ ์ํ ์คํ ๊ฐ๋ฅํ ํต์ฐฐ๋ ฅ
๊ณ ๊ธ ํ์ ๊ณต๊ฐ ๊ธฐ์ ํ๊ตฌ์ ๊ด์ฌ์ด ์๋ ํญ๊ณต์ฐ์ฃผ ์ ๋ฌธ๊ฐ๋ฅผ ์ํ ๋ช ๊ฐ์ง ์คํ ๊ฐ๋ฅํ ํต์ฐฐ๋ ฅ์ ๋ค์๊ณผ ๊ฐ์ต๋๋ค:
- ๊ต์ก์ ํฌ์: ์์ง๋์ด๋ค์๊ฒ ํ์ ๋ฉ์๋, ํ๋ก๊ทธ๋จ ๊ฒ์ฆ ๋ฐ ๊ณ ๊ธ ํ๋ก๊ทธ๋๋ฐ ์ธ์ด ์ค๊ณ์ ๋ํ ๊ต์ก์ ์ ๊ณตํ์ญ์์ค.
- ๋ค์ํ ๋๊ตฌ ์คํ: ํน์ ์๊ตฌ ์ฌํญ์ ๊ฐ์ฅ ์ ํฉํ ๋๊ตฌ์ ๊ธฐ์ ์ ํ๊ฐํ์ญ์์ค.
- ์๊ฒ ์์: ์๊ณ ๋ช ํํ๊ฒ ์ ์๋ ํ๋ก์ ํธ์ ๊ณ ๊ธ ํ์ ๊ณต๊ฐ ๊ธฐ์ ์ ์ ์ฉํ๋ ๊ฒ๋ถํฐ ์์ํ์ญ์์ค.
- ์ ๋ฌธ๊ฐ์ ํ๋ ฅ: ์์ํ๋ ๋ฐ ๋์์ ์ค ํ์ ๋ฉ์๋ ๋ฐ ๊ณ ๊ธ ํ์ ์์คํ ์ ๋ฌธ๊ฐ์ ํ๋ ฅํ์ญ์์ค.
- ์ฑํ ์ง์ง: ์กฐ์ง ๋ด์์ ๊ณ ๊ธ ํ์ ๊ณต๊ฐ ๊ธฐ์ ์ฑํ์ ์ง์งํ์ญ์์ค.
- ์ ๋ณด ์ต๋: ์ปจํผ๋ฐ์ค ์ฐธ์, ์ฐ๊ตฌ ๋ ผ๋ฌธ ์ฝ๊ธฐ ๋ฐ ์จ๋ผ์ธ ์ปค๋ฎค๋ํฐ ์ฐธ์ฌ๋ฅผ ํตํด ํด๋น ๋ถ์ผ์ ์ต์ ๊ฐ๋ฐ ๋ํฅ์ ๋ํ ์ ๋ณด๋ฅผ ๊ณ์ ์ต๋ํ์ญ์์ค.
๊ฒฐ๋ก
๊ณ ๊ธ ํ์ ๊ณต๊ฐ ๊ธฐ์ ์ ํญ๊ณต์ฐ์ฃผ ์ฐ์ ์์ ํ์ ์์ ์ฑ์ ๋ณด์ฅํ๋ ๋ฐ ์์ด ์๋นํ ๋ฐ์ ์ ์๋ฏธํฉ๋๋ค. ํ์ ๋ฉ์๋, ํ๋ก๊ทธ๋จ ๊ฒ์ฆ ๋ฐ ๊ณ ๊ธ ํ๋ก๊ทธ๋๋ฐ ์ธ์ด ์ค๊ณ์ ๊ธฐ์ ์ ํ์ฉํจ์ผ๋ก์จ ์ด ๊ธฐ์ ์ ์ค๋ฅ ์ํ์ ํ๊ธฐ์ ์ผ๋ก ์ค์ด๊ณ ์ ๋ขฐ์ฑ์ ํฅ์์ํค๋ฉฐ ํญ๊ณต์ฐ์ฃผ ์์คํ ์ ์ ๋ฐ์ ์ธ ์์ ์ฑ์ ๊ฐํํ ์ ์์ต๋๋ค. ๊ณ ๋ คํด์ผ ํ ๊ณผ์ ๊ฐ ์์ง๋ง, ๊ณ ๊ธ ํ์ ๊ณต๊ฐ ๊ธฐ์ ์ ์ด์ ์ ๋น์ฉ๋ณด๋ค ํจ์ฌ ํฝ๋๋ค. ํญ๊ณต์ฐ์ฃผ ์์คํ ์ด ์ ์ ๋ ๋ณต์กํด์ง์ ๋ฐ๋ผ, ์ด๋ฌํ ๊ธฐ์ ์ ์ฑํ์ ํญ๊ณต ์ฌํ์ ์์ ๊ณผ ์ ๋ขฐ์ฑ์ ๋ณด์ฅํ๋ ๋ฐ ํ์์ ์ผ ๊ฒ์ ๋๋ค.
์ถ๊ฐ ์๋ฃ
- โSoftware Engineering Principles and Practicesโ by Shari Lawrence Pfleeger and Joanne M. Atlee
- โBuilding High-Integrity Applications Using SPARKโ by John W. McCormick, Peter H. Chapin, and Peter C. Amman
- โFormal Methods: An Introduction to Abstract Data Types, Formal Specification, and Program Verificationโ by Efraim Nissan